ESEC '89: 2nd European Software Engineering Conference: [selected papers], Coventry, UK, September 11-15, 1989GHEZZI, Carlo; MCDERMID, John A.Lecture notes in computer science. 1989, Num 387, issn 0302-9743, VI-496 p.[502 p.]Conference Proceedings

International Conference on Engineering Complex Computer Systems (ICECCS'97)GHEZZI, Carlo; PEZZE, Mauro.IEEE transactions on software engineering. 1999, Vol 25, Num 1, pp 1-74, issn 0098-5589Conference Proceedings

Mobility and network-aware computingROMAN, Gruia-Catalin; GHEZZI, Carlo.IEEE transactions on software engineering. 1998, Vol 24, Num 5, pp 313-400, issn 0098-5589Serial Issue

International Workshop on Petri Nets and Performance Models (PNPM'95)CIARDO, GIANFRANCO; GHEZZI, CARLO.IEEE transactions on software engineering. 1996, Vol 22, Num 9, pp 601-664, issn 0098-5589Conference Proceedings

Developing reactive systems in a VDM frameworkLEDRU, Y.Science of computer programming. 1993, Vol 20, Num 1-2, pp 51-71, issn 0167-6423Conference Paper

How to improve the calibration of cost modelsEBRAHIMI, N. B.IEEE transactions on software engineering. 1999, Vol 25, Num 1, pp 136-140, issn 0098-5589Conference Paper

Self-Adaptive Software Needs Quantitative Verification at RuntimeCALINESCU, Radu; GHEZZI, Carlo; KWIATKOWSKA, Marta et al.Communications of the ACM. 2012, Vol 55, Num 9, pp 69-77, issn 0001-0782, 9 p.Article

The challenges of software engineering educationGHEZZI, Carlo; MANDRIOLI, Dino.Lecture notes in computer science. 2006, pp 115-127, issn 0302-9743, isbn 978-3-540-68203-5, 1Vol, 13 p.Conference Paper

Exceptions for algebraic specifications: on the meaning of but'SCHOBBENS, P.-Y.Science of computer programming. 1993, Vol 20, Num 1-2, pp 73-111, issn 0167-6423Conference Paper

Toward open-world software : Issues and challengesBARESI, Luciano; DI NITTO, Elisabetta; GHEZZI, Carlo et al.Computer (Long Beach, CA). 2006, Vol 39, Num 10, pp 36-43, issn 0018-9162, 8 p.Article

Total variance approach to software reliability estimationADAMS, T.IEEE transactions on software engineering. 1996, Vol 22, Num 9, pp 687-688, issn 0098-5589Conference Paper

Approximate mean value analysis for stochastic marked graphsSERENO, M.IEEE transactions on software engineering. 1996, Vol 22, Num 9, pp 654-664, issn 0098-5589Conference Paper

Derivation of data intensive algorithms by formal transformation : The Schnorr-Waite graph marking algorithmWARD, M.IEEE transactions on software engineering. 1996, Vol 22, Num 9, pp 665-686, issn 0098-5589Conference Paper

Efficient discrete-event simulation of colored Petri netsGAETA, R.IEEE transactions on software engineering. 1996, Vol 22, Num 9, pp 629-639, issn 0098-5589Conference Paper

Numerical analysis of superposed GSPNsKEMPER, P.IEEE transactions on software engineering. 1996, Vol 22, Num 9, pp 615-628, issn 0098-5589Conference Paper

Client-access protocols for replicated servicesKARAMANOLIS, C. T; MAGEE, J. N.IEEE transactions on software engineering. 1999, Vol 25, Num 1, pp 3-21, issn 0098-5589Conference Paper

Minimizing aperiodic response times in a firm real-time environmentBUTTAZZO, G. C; CACCAMO, M.IEEE transactions on software engineering. 1999, Vol 25, Num 1, pp 22-32, issn 0098-5589Conference Paper

Determining the Impact of Software Engineering Research on PracticeOSTERWEIL, Leon J; GHEZZI, Carlo; KRAMER, Jeff et al.Computer (Long Beach, CA). 2008, Vol 41, Num 3, pp 39-49, issn 0018-9162, 11 p.Article

Connectors for mobile programsWERMELINGER, M; FIADEIRO, J. L.IEEE transactions on software engineering. 1998, Vol 24, Num 5, pp 331-341, issn 0098-5589Article

Anonymous remote computing : A paradigm for parallel programming on interconnected workstationsJOSHI, R. K; JANAKI RAM, D.IEEE transactions on software engineering. 1999, Vol 25, Num 1, pp 75-90, issn 0098-5589Conference Paper

An architecture for exporting environment awareness to mobile computing applicationsWELLING, G; BADRINATH, B. R.IEEE transactions on software engineering. 1998, Vol 24, Num 5, pp 391-400, issn 0098-5589Article

A framework-based approach to the development of network-aware applicationsBOLLIGER, J; GROSS, T.IEEE transactions on software engineering. 1998, Vol 24, Num 5, pp 376-390, issn 0098-5589Article

Sufficient conditions for existence of a fixed point in stochastic reward net-based iterative modelsMAINKAR, V; TRIVEDI, K. S.IEEE transactions on software engineering. 1996, Vol 22, Num 9, pp 640-653, issn 0098-5589Conference Paper

Enhancing remote method invocation through type-based static analysisGHEZZI, Carlo; MARTENA, Vincenzo; PICCO, Gian Pietro et al.Lecture notes in computer science. 2004, pp 339-353, issn 0302-9743, isbn 3-540-21305-8, 15 p.Conference Paper

Using agents in performing multi-site queriesDI NITTO, Elisabetta; GHEZZI, Carlo; SABBA, Maurizio et al.Lecture notes in computer science. 2001, pp 100-105, issn 0302-9743, isbn 3-540-42545-4Conference Paper